Gradual typing

Results: 54



#Item
31Software engineering / Programming language theory / Computing / Procedural programming languages / Functional languages / Gradual typing / Type system / Programming language / Racket / ALGOL 68 / Io / Association for Computing Machinery

Andrew M. Kent Contact Information Lindley Hall 215 Indiana University

Add to Reading List

Source URL: andmkent.com

Language: English - Date: 2016-02-14 16:25:01
32

Gradual Typing for Mutable Objects Jeremy G. Siek1 , Michael M. Vitousek2 , and Shashank Bharadwaj1 1 Department of Electrical, Computer, and Energy Engineering 2

Add to Reading List

Source URL: ecee.colorado.edu

Language: English - Date: 2013-05-23 12:18:33
    33Software engineering / Programming language theory / Software / NATO / CENTAG wartime structure / Gradual typing / Factorization / Type system / Racket

    PDF Document

    Add to Reading List

    Source URL: www.ccs.neu.edu

    Language: English - Date: 2015-11-12 18:17:11
    34

    Gradual Typing of Erlang Programs: A Wrangler Experience Konstantinos Sagonas Daniel Luna School of Electrical and Computer Engineering, National Technical University of Athens, Greece

    Add to Reading List

    Source URL: user.it.uu.se

    Language: English - Date: 2008-10-01 12:41:06
      35Type theory / Lambda calculus / Type systems / Models of computation / Program analysis / Simply typed lambda calculus / Gradual typing / Monad / System F

      The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Matteo Cimini Jeremy G. Siek

      Add to Reading List

      Source URL: dl.dropboxusercontent.com

      Language: English
      36Type systems / Procedural programming languages / Type theory / Data types / Gradual typing / Boo / Manifest typing / Higher-order function

      The State of the Art in Gradual Typing Jeremy G. Siek Indiana University, Bloomington SICSA Summer School on Practical Types University of St. Andrews

      Add to Reading List

      Source URL: dl.dropboxusercontent.com

      Language: English
      37

      Refined Criteria for Gradual Typing∗ Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , and John Tang Boyland2 1 Indiana University – Bloomington, School of Informatics and Computing

      Add to Reading List

      Source URL: drops.dagstuhl.de

      - Date: 2015-04-28 03:32:00
        38

        Refined Criteria for Gradual Typing Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland, Sam Tobin-Hochstadt Indiana University Bloomington SNAPL 2015

        Add to Reading List

        Source URL: dl.dropboxusercontent.com

          39

          Towards Practical Gradual Typing˚ Asumu Takikawa1 , Daniel Feltey1 , Earl Dean2 , Matthew Flatt3 , Robert Bruce Findler4 , Sam Tobin-Hochstadt2 , and Matthias Felleisen1 1

          Add to Reading List

          Source URL: www.ccs.neu.edu

          Language: English - Date: 2015-05-11 21:04:51
            UPDATE